perm filename POLAK.TEX[TEX,DEK] blob
sn#372434 filedate 1978-08-06 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 \input manhdr
C00003 ENDMK
C⊗;
\input manhdr
\tenpoint
\titlepage
Wolf... I think TEX now knows those eight symbols you
wanted for Scott-Strachey semantics.
\yyskip
If you type ``{\≡$$\bot \sqsub \dleft x←y \dright \sqsub \top$$≡\}'' you get
$$\bot \sqsub \dleft x←y \dright \sqsub \top$$
and if you type ``{\≡$$\squnion≡↓{n=0}↑≡∞(f≡↓n \glb (g≡↓n \lub h≡↓n))$$≡\}''
you get $$\squnion↓{n=0}↑∞(f↓n \glb (g↓n \lub h↓n))$$
and if you type ``{\≡$\squnion≡↓{n=0}↑≡∞(f≡↓n \glb (g≡↓n \lub h≡↓n))$≡\}''
you get $\squnion↓{n=0}↑∞(f↓n \glb (g↓n \lub h↓n))$.
\yyskip
(I hope I haven't broken TEX in the meantime.) -- Don Knuth
\vfill\end